首页> 外文OA文献 >DNA implementation of theorem proving with resolution refutation in propositional logic

【2h】

DNA implementation of theorem proving with resolution refutation in propositional logic

机译：在命题逻辑中用解析反驳证明定理的DNa实现

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
In-hee Lee; Hae-man Jang; Young-gyu Chai; Byoung-tak Zhang;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Efficiently Checking Propositional Refutations In Hol Theorem Provers [J] . Tjark Weber, Hasan Amjad Journal of Applied Logic . 2009,第1期

机译：有效地检验Hol定理证明中的命题反驳
2. A CONSTANT TIME ALGORITHM FOR THEOREM PROVING IN PROPOSITIONAL LOGIC ON RECONFIGURABLE MESHES [J] . Pradeep B., Murthy CSR. Information Sciences: An International Journal . 1995,第1a3期

机译：关于可重构网格的命题逻辑中定理证明的恒定时间算法
3. Vectorization of a generalized procedure for theorem proving in propositional logic on vector computers [J] . Fang M.-Y., Chen W.-T. IEEE Transactions on Knowledge and Data Engineering . 1992,第5期

机译：向量计算机上命题逻辑中定理证明的广义过程的向量化
4. DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic [C] . In-Hee Lee, Ji-Yoon Park, Hae-Man Jang, DNA Computing . 2003

机译：命题逻辑中具有解决争议的定理证明的DNA实现。
5. Automated theorem proving by translation to description logic. [D] . Arhami, Negin. 2015

机译：通过翻译成描述逻辑来自动证明定理。
6. How to Prove the Value Proposition of Spine Surgery [O] . Jens Chapman 2014

机译：如何证明脊柱外科的价值主张
7. Efficiently checking propositional refutations in HOL theorem provers [O] . Weber Tjark, Amjad Hasan 2009

机译：有效检查HOL定理证明中的命题反驳
8. Implementation of a Matrix Theorem Prover for Propositional Modal Logic [R] . Bisacchicoelho, O. 1990

机译：命题模态逻辑的矩阵定理证明器的实现

DNA implementation of theorem proving with resolution refutation in propositional logic

著录项

引文网络

相似文献

相关主题

期刊订阅